div.highlight-python pre {
	font-size: 0.7em;
}
